A legal roadmap

Inference Graphs: A Roadmap

Logical inference is one approach to implementing the reasoning component of a cognitive system. Inference graphs are a method for natural deduction inference which, uniquely in logic-based cognitive systems, use concurrency to reason about multiple possible ways to solve a problem simultaneously, and cancel no-longer-necessary inference operations. We outline extensions to inference graphs whi...

Web Mining: a Roadmap

The World Wide Web, has grown in the past few years from a small research community to the biggest and most popular way of communication and information dissemination. Every day, the WWW grows by roughly a million electronic pages, adding to the hundreds of millions already on-line. WWW serves as a platform for exchanging various kinds of information, ranging from research papers, and education...

Definitions and a Roadmap

Sensor Webs: a Roadmap

Networks of sensors – interacting autonomously within its predefined conditions – are still a far vision of the new efforts called Sensor Web. The heterogeneity of sensor types, data formats, and communication protocols had lead to various distinct systems with very little interoperability in between. New efforts driven by the Spatial Data Infrastructure (SDI) community address those problems a...

Software Analysis: A Roadmap

We describe the challenges of software analysis by presenting a series of dichotomies. Each gives a spectrum on which any particular analysis can be placed; together, they give some structure to the space of possible analyses. Our intent is not, however, to provide a survey of existing analyses within this space, but to argue that some regions are more likely to be important in the future than ...